Matthias Rungger: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A numerical method for hybrid optimal control based on dynamic programming

Matthias Rungger, Olaf Stursberg

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2011

Language:

english

File:

PDF, 525 KB

english, 2011

2

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - Function approximation for the deterministic Hamilton-Jacobi-Bellman equation

Rungger, Matthias, Stursberg, Olaf

Year:

2009

Language:

english

File:

PDF, 1.34 MB

english, 2009

3

Towards Robustness for Cyber-Physical Systems

Tabuada, Paulo, Caliskan, Sina Yamac, Rungger, Matthias, Majumdar, Rupak

Journal:

IEEE Transactions on Automatic Control

Year:

2014

Language:

english

File:

PDF, 533 KB

english, 2014

4

Optimal Control for Deterministic Hybrid Systems using Dynamic Programming

Rungger, Matthias, Stursberg, Olaf

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 208 KB

english, 2009

5

Automated generation of dynamics-based runtime certificates for high-level control

DeCastro, Jonathan, Ehlers, Rüdiger, Rungger, Matthias, Balkan, Ayça, Kress-Gazit, Hadas

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 2.89 MB

english, 2017

6

Generalization of an input-to-state stability preserving Runge–Kutta method for nonlinear control systems

Deflorian, Michael, Rungger, Matthias

Journal:

Journal of Computational and Applied Mathematics

Year:

2014

Language:

english

File:

PDF, 374 KB

english, 2014

7

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Continuity of the value function for exit time optimal control problems of hybrid systems

Rungger, Matthias, Stursberg, Olaf

Year:

2010

Language:

english

File:

PDF, 152 KB

english, 2010

8

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Abstraction-based solution of optimal stopping problems under uncertainty

Reissig, Gunther, Rungger, Matthias

Year:

2013

Language:

english

File:

PDF, 307 KB

english, 2013

9

[IEEE 2012 IEEE 51st Annual Conference on Decision and Control (CDC) - Maui, HI, USA (2012.12.10-2012.12.13)] 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) - Scaling up controller synthesis for linear systems and safety specifications

Rungger, Matthias, Mazo, Manuel, Tabuada, Paulo

Year:

2012

Language:

english

File:

PDF, 354 KB

english, 2012

10

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - A symbolic approach to the design of robust cyber-physical systems

Rungger, Matthias, Tabuada, Paulo

Year:

2013

Language:

english

File:

PDF, 274 KB

english, 2013

11

Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen

Stursberg, Olaf, Paschedag, Tina, Rungger, Matthias, Ding, Hao

Journal:

at - Automatisierungstechnik

Year:

2010

Language:

german

File:

PDF, 516 KB

german, 2010

12

[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - Specification-guided controller synthesis for linear systems and safe linear-time temporal logic

Rungger, Matthias, Mazo, Manuel, Tabuada, Paulo

Year:

2013

Language:

english

File:

PDF, 572 KB

english, 2013

13

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Abstracting and refining robustness for cyber-physical systems

Rungger, Matthias, Tabuada, Paulo

Year:

2014

Language:

english

File:

PDF, 604 KB

english, 2014

14

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Compositional construction of approximate abstractions

Rungger, Matthias, Zamani, Majid

Year:

2015

Language:

english

File:

PDF, 890 KB

english, 2015

15

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - First steps toward formal controller synthesis for bipedal robots

Ames, Aaron D., Tabuada, Paulo, Schürmann, Bastian, Ma, Wen-Loong, Kolathaya, Shishir, Rungger, Matthias, Grizzle, Jessy W.

Year:

2015

Language:

english

File:

PDF, 1.95 MB

english, 2015

16

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Feedback refinement relations for symbolic controller synthesis

Reissig, Gunther, Rungger, Matthias

Year:

2014

Language:

english

File:

PDF, 203 KB

english, 2014

17

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Construction of approximations of stochastic control systems: A compositional approach

Zamani, Majid, Rungger, Matthias, Esfahani, Peyman Mohajerin

Year:

2015

Language:

english

File:

PDF, 737 KB

english, 2015

18

A Notion of Robustness for Cyber-Physical Systems

Rungger, Matthias, Tabuada, Paulo

Journal:

IEEE Transactions on Automatic Control

Year:

2015

Language:

english

File:

PDF, 627 KB

english, 2015

19

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Preliminary results on correct-by-construction control software synthesis for adaptive cruise control

Nilsson, Petter, Hussien, Omar, Chen, Yuxiao, Balkan, Ayca, Rungger, Matthias, Ames, Aaron, Grizzle, Jessy, Ozay, Necmiye, Peng, Huei, Tabuada, Paulo

Year:

2014

Language:

english

File:

PDF, 512 KB

english, 2014

20

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Discounting the past in robust finite-state systems

Rungger, Matthias, Tabuada, Paulo

Year:

2014

Language:

english

File:

PDF, 121 KB

english, 2014

21

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - State space grids for low complexity abstractions

Rungger, Matthias, Weber, Alexander, Reissig, Gunther

Year:

2015

Language:

english

File:

PDF, 793 KB

english, 2015

22

Compositional Construction of Approximate Abstractions of Interconnected Control Systems

Rungger, Matthias, Zamani, Majid

Journal:

IEEE Transactions on Control of Network Systems

Year:

2016

Language:

english

File:

PDF, 3.28 MB

english, 2016

23

Feedback Refinement Relations for the Synthesis of Symbolic Controllers

Reissig, Gunther, Weber, Alexander, Rungger, Matthias

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 423 KB

english, 2016

24

Approximations of Stochastic Hybrid Systems: A Compositional Approach

Zamani, Majid, Rungger, Matthias, Mohajerin Esfahani, Peyman

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 1.12 MB

english, 2016

25

Optimized State Space Grids for Abstractions

Weber, Alexander, Rungger, Matthias, Reissig, Gunther

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 198 KB

english, 2016

26

First steps toward formal controller synthesis for bipedal robots with experimental implementation

Ames, Aaron D., Tabuada, Paulo, Jones, Austin, Ma, Wen-Loong, Rungger, Matthias, Schürmann, Bastian, Kolathaya, Shishir, Grizzle, Jessy W.

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2017

Language:

english

File:

PDF, 2.38 MB

english, 2017

27

Computing Robust Controlled Invariant Sets of Linear Systems

Rungger, Matthias, Tabuada, Paulo

Journal:

IEEE Transactions on Automatic Control

Year:

2017

Language:

english

File:

PDF, 342 KB

english, 2017

28

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Symbolic synthesis with average performance guarantees

Rungger, Matthias, Reissig, Gunther, Zamani, Majid

Year:

2016

Language:

english

File:

PDF, 395 KB

english, 2016

29

[ACM Press the 8th International Conference - Pittsburgh, Pennsylvania (2017.04.18-2017.04.20)] Proceedings of the 8th International Conference on Cyber-Physical Systems - ICCPS '17 - Application and system-level software fault tolerance through full system restarts

Abdi, Fardin, Tabish, Rohan, Rungger, Matthias, Zamani, Majid, Caccamo, Marco

Year:

2017

Language:

english

File:

PDF, 517 KB

english, 2017

30

[ACM Press the 20th International Conference - Pittsburgh, Pennsylvania, USA (2017.04.18-2017.04.20)] Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17 - Invariance Feedback Entropy of Nondeterministic Control Systems

Rungger, Matthias, Zamani, Majid

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

31

[IEEE 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL, USA (2016.9.27-2016.9.30)] 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Symbolic models of networked control systems: A feedback refinement relation approach

Khaled, Mahmoud, Rungger, Matthias, Zamani, Majid

Year:

2016

Language:

english

File:

PDF, 829 KB

english, 2016

32

Comparing Approximations of the Value Function for Entry Time Optimal Control

Rungger, Matthias, Stursberg, Olaf

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 263 KB

english, 2011

33

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Arbitrarily precise abstractions for optimal controller synthesis

Rungger, Matthias, Reissig, Gunther

Year:

2017

Language:

english

File:

PDF, 565 KB

english, 2017

34

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - On the invariance feedback entropy of linear perturbed control systems

Rungger, Matthias, Zamani, Majid

Year:

2017

Language:

english

File:

PDF, 140 KB

english, 2017

35

[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - Accurate reachability analysis of uncertain nonlinear systems

Rungger, Matthias, Zamani, Majid

Year:

2018

Language:

english

File:

PDF, 1.27 MB

english, 2018